home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
SPACE 1
/
SPACE - Library 1 - Volume 1.iso
/
program
/
363
/
tprolog1
/
calltree.toy
< prev
next >
Wrap
Text File
|
1990-02-03
|
4KB
|
176 lines
'calltree'('/'(:0, :1)) :
'add'('proc'(:0, :1, :2, :3), :4) .
'fill'(:4, :4) .
'print_calls'('proc'(:0, :1, :2, :3) . '[]', 3, 1, :5) .
[]
'add'(:0, :0 . :1) :
'!' .
[]
'add'(:0, :1 . :2) :
'add'(:0, :2) .
[]
'fill'('[]', :0) :
'!' .
[]
'fill'('proc'(:0, :1, :2, '[]') . :3, :4) :
'predefined'(:0, :1) .
'!' .
'fill'(:3, :4) .
[]
'fill'('proc'(:0, :1, :2, 'undefined') . :3, :4) :
'not'('clause'(:0, :1, 1, :5, :6)) .
'!' .
'fill'(:3, :4) .
[]
'fill'('proc'(:0, :1, :2, :3) . :4, :5) :
'add_calls'(:0, :1, 1, :3, :5) .
'fill'(:4, :5) .
[]
'add_calls'(:0, :1, :2, :3, :4) :
'clause'(:0, :1, :2, :5, :6) .
'!' .
'body_calls'(:6, :3, :4) .
'sum'(:2, 1, :7) .
'add_calls'(:0, :1, :7, :3, :4) .
[]
'add_calls'(:0, :1, :2, '[]', :3) :
'!' .
[]
'add_calls'(:0, :1, :2, :3, :4) :
[]
'body_calls'('[]', :0, :1) :
'!' .
[]
'body_calls'(:0 . :1, :2, :3) :
'functor'(:0, :4, :5) .
'add'('proc'(:4, :5, :6, :7), :2) .
'add'('proc'(:4, :5, :6, :7), :3) .
'add_insides'(:0, :2, :3) .
'body_calls'(:1, :2, :3) .
[]
'add_insides'(:0, :1, :2) :
'meta_call_1'(:0, :3) .
'!' .
'add_inside'(:3, :1, :2) .
[]
'add_insides'(:0, :1, :2) :
'meta_call_2'(:0, :3, :4) .
'!' .
'add_inside'(:3, :1, :2) .
'add_inside'(:4, :1, :2) .
[]
'add_insides'(:0, :1, :2) :
[]
'add_inside'(:0, :1, :2) :
'var'(:0) .
'!' .
[]
'add_inside'(:0, :1, :2) :
'integer'(:0) .
'!' .
[]
'add_inside'(:0, :1, :2) :
'functor'(:0, :3, :4) .
'add'('proc'(:3, :4, :5, :6), :1) .
'add'('proc'(:3, :4, :5, :6), :2) .
'add_insides'(:0, :1, :2) .
[]
'meta_call_1'('call'(:0), :0) :
[]
'meta_call_1'('tag'(:0), :0) :
[]
'meta_call_1'('not'(:0), :0) :
[]
'meta_call_1'('check'(:0), :0) :
[]
'meta_call_1'('side_effects'(:0), :0) :
[]
'meta_call_1'('once'(:0), :0) :
[]
'meta_call_2'(','(:0, :1), :0, :1) :
[]
'meta_call_2'(';'(:0, :1), :0, :1) :
[]
'print_calls'('[]', :0, :1, :1) :
'!' .
[]
'print_calls'('proc'(:0, :1, :2, 'undefined') . :3, :4, :2, :5) :
'!' .
'start_undefined'(:2, :4) .
'writeq'('/'(:0, :1)) .
'display'(' ** undefined **') .
'nl' .
'sum'(:2, 1, :6) .
'print_calls'(:3, :4, :6, :5) .
[]
'print_calls'('proc'(:0, :1, :2, :3) . :4, :5, :2, :6) :
'!' .
'start_line'(:2, :5) .
'writeq'('/'(:0, :1)) .
'nl' .
'sum'(:5, 3, :7) .
'sum'(:2, 1, :8) .
'print_calls'(:3, :7, :8, :9) .
'print_calls'(:4, :5, :9, :6) .
[]
'print_calls'('proc'(:0, :1, :2, :3) . :4, :5, :6, :7) :
'start_unnumbered_line'(:5) .
'writeq'('/'(:0, :1)) .
'repetition'(:0, :1, :2) .
'nl' .
'print_calls'(:4, :5, :6, :7) .
[]
'repetition'(:0, :1, :2) :
'predefined'(:0, :1) .
'!' .
[]
'repetition'(:0, :1, :2) :
'display'(' (see ') .
'display'(:2) .
'display'(')') .
[]
'start_line'(:0, :1) :
'number_line'(:0) .
'!' .
'tab'(:1, ' ') .
[]
'number_line'(:0) :
'<'(:0, 10) .
'display'(' ') .
'display'(:0) .
[]
'number_line'(:0) :
'<'(:0, 100) .
'display'(' ') .
'display'(:0) .
[]
'number_line'(:0) :
'<'(:0, 1000) .
'display'(' ') .
'display'(:0) .
[]
'number_line'(:0) :
'display'(:0) .
[]
'start_unnumbered_line'(:0) :
'display'(' ') .
'tab'(:0, ' ') .
[]
'start_undefined'(:0, :1) :
'number_line'(:0) .
'tab'(:1, '.') .
[]
'tab'(0, :0) :
'!' .
[]
'tab'(:0, :1) :
'wch'(:1) .
'sum'(:2, 1, :0) .
'tab'(:2, :1) .
[]
:
'seen' .
[]#